import jonaPad.*;

public class Main {

	/**
	 * @param args
	 */
    public static void main(String[] args) {
        //Schedule a job for the event-dispatching thread:
        //creating and showing this application's GUI.
        javax.swing.SwingUtilities.invokeLater(new Runnable() {
            public void run() {
            	jonaArgumentationSchemes.Knowledge.load();
            	
                /*jonaArgumentationSchemes.Knowledge.addKnowledge("Argument by Sign","" +
                		"sv1=\"Here are some bear tracks in the snow\"\n" +
                		"sv2=\"a bear passed this way\"\n" +
                		"sl1: \"<sv1>\"\n" +
                		"sl2: \"<sv2>\"\n" +
                		//"sl3: \"<sv1> therefore <sv2>\"\n" +
                		"sl4: if (sl1) then sl2");
                jonaArgumentationSchemes.Knowledge.addKnowledge("Ad Hominem","" +
                		"ahv1=Pete \n" +
                		"ahl1:\"Statement from <ahv1>\" \n" +
                		"ahl2:\"<ahv1> {is a bad Person}, therefore the statement from <ahv1> {should not be trusted}\"\n" +
                		"ahl3: if (ahl2) then !ahl1 \n");
                		
                jonaArgumentationSchemes.Knowledge.addKnowledge("Expert Opinion","" +
                		"eov1=\"Person P\" \n" +
                		"eov2=\"Expert Statement Q\" \n" +
                		"eol1:\"<eov1> states that <eov2>\" \n" +
                		"eol2:\"<eov1> is a {expert} with respect to the fact <eov2>\"\n" +
                		"eol3:\"<eov2>\"\n" +
                		"eol4: if (eol1,eol2) then eol3 \n");
                
                jonaArgumentationSchemes.Knowledge.addKnowledge("Expert Opinion","" +
                		"eov1=\"Person P\" \n" +
                		"eov2=\"Expert Statement Q\" \n" +
                		"eol1:\"<eov1> states that <eov2>\" \n" +
                		"eol2:\"<eov1> is a {expert} with respect to the fact <eov2>\"\n" +
                		"eol3:\"<eov2>\"\n" +
                		"eol4: if (eol1,eol2) then eol3 \n");
                
            	jonaArgumentationSchemes.Knowledge.save();*/
            	
                JonaPad.createAndShowGUI();
            }
        });
    }

}
